Admirers of philosophy and formal logic evidently regard abstractions as real things.

The introduction to the two principal parts is furnished by formal logic.

Hence division by dichotomy comes strictly within the province of formal logic.

Perhaps political philosophy is for you, or philosophy of mind, or formal logic.

Taken by itself, the Greek argument is a nice piece of formal logic.